type A =
    class end

and B =
    class end
